Positive Implicative-Artinian and Positive Implicative Noetherian Hyper Bck-Algebras
نویسندگان
چکیده
The notion of intuitionistic fuzzy positive implicative hyper BCK-ideals of type-1, 2... 8 of hyper BCK-algebras was introduced in 2012 by Durga Prasad, Satyanarayana and Ramesh. In this paper, we investigate some related properties of intuitionistic fuzzy positive implicative hyper BCK-ideals of types-1. We characterize positive implicative Artinian (shortly, PI-Artinian) hyper BCK-algebras of type-1 and positive implicative Noetherian (shortly, PI-Noetherian) hyper BCK-algebra of type-1.
منابع مشابه
Fuzzy multiply positive implicative hyper BCK-ideals of hyper BCK-algebras
We consider the fuzzification of the notion of fuzzy multiply positive implicative hyper BCK-ideals of BCK-algebras and then some related results are obtained. Using the concept of level subsets, we give a characterization of a fuzzy multiply positive implicative hyper BCK-ideal. We state a relation between a fuzzy hyper BCK-ideal and a fuzzymultiply positive implicative hyper BCK-ideal. Moreov...
متن کاملFUZZY (POSITIVE, WEAK) IMPLICATIVE HYPER BCK-IDEALS
In this note first we define the notions of fuzzy positive implicativehyper BCK-ideals of types 1,2,3 and 4. Then we prove some theorems whichcharacterize the above notions according to the level subsets. Also we obtainthe relationships among these notions, fuzzy (strong, weak, reflexive) hyperBCK-ideals and fuzzy positive implicative hyper BCK-ideals of types 5,6,7and 8. Then, we define the no...
متن کاملON n-FOLD FUZZY POSITIVE IMPLICATIVE IDEALS OF BCK-ALGEBRAS
We consider the fuzzification of the notion of an n-fold positive implicative ideal. We give characterizations of an n-fold fuzzy positive implicative ideal. We establish the extension property for n-fold fuzzy positive implicative ideals, and state a characterization of PIn-Noetherian BCK-algebras. Finally we study the normalization of n-fold fuzzy positive implicative ideals. 2000 Mathematics...
متن کاملBCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON
In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...
متن کاملBipolar Fuzzy Implicative Hyper Bck-ideals in Hyper Bck-algebras
Bipolar-valued fuzzification of the notion of implicative hyper BCK-ideals is considered. Using the concepts of positive and negative lever sets, a characterization of a bipolar fuzzy implicative hyper BCK-ideal is provided. A relation between a bipolar fuzzy hyper BCK-ideal and a bipolar fuzzy implicative hyper BCK-ideal is established. A condition for a bipolar fuzzy hyper BCK-ideal to be a b...
متن کامل